对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

2002-2005年硅湖学院女生体质状况动态分析

通过对硅湖学院2002级女生200人在校期间的身体形态、机能及运动素质、心理状态等方面进行追踪调查，旨在反映高职院学生在校期间体质健康状况和变化特征，为学校有关部门合理学生在校期间的学习和生活提供参考依据。     

优化GPS测量软件系统的研制及其在岩土工程监测中的应用

为了提高GPS在岩土工程中的应用水平,研制了集GPS电子测量规范、适合多类型GPS接收机外业记录的电子手簿、岩土工程监测任务模拟软件和结果分析软件及岩土工程GPS监测网的优化设计于一体的面向岩土工程监测的GPS测量软件系统,并讨论了GPS网的基线重复性检核、同步环检核、异步环检核、坐标转换、网平差、GPS监测网的优化设计和形变量的显著性检验等关键问题.最后,通过对辽宁省抚顺地区的某矿区进行边坡变形监测的研究,验证了该软件系统不仅具有良好的实用性和可靠性,而且可以达到毫米级的监测精度,完全能够满足岩土工程监测的要求.图4,表3,参12.     

光线方程的数值解与光线追迹

改进和完善了已有的光线方程的数值解法，使得该算法更具可操作性，并且给出了两种变折射率光线追迹的图形。     

基于Agent的农田生态细胞自动机模型

提出一种基于Agent的细胞自动机(CA)演化模型，并采用整体建模仿真的方法，对农田虫害的演化进行了模拟．它采用自底向上的建模思想，利用Agent的局部连接规则，建立复杂系统的整体模型．针对不同环境条件设定相应的仿真参数，可以得到恰当的害虫种群演化结果，有助于农田生态管理的科学决策．同时，农田虫害的管理是预测专家系统的重要应用领域，该模型与专家系统的最终集成，可以提高专家系统的预测能力．     

水合活化固硫装置脱硫效率试验研究

通过建立水合活化固硫试验装置，研究装置的工艺特性对装置脱硫率的影响规律．试验结果表明，各因子对脱硫率的影响程度由大到小依次是：水钙摩尔比、钙硫摩尔比、二氧化硫量、烟气入口温度和停留时间；在其他因子保持不变的前提下，装置的脱硫率分别随各单项因子的增加而有不同程度的提高．试验研究的结果验证了本文中探讨的水合活化固硫机理——反应发生在气、液、固三相之间，雾化水滴和吸收剂颗粒碰撞并在其表面形成液膜是固硫反应的前提．     

镁热自蔓延法制备B_4C微粉

利用自蔓延制粉技术过程简单、纯度高、粒度小等优点,以B2O3、Mg粉和C为原料制备B4C粉末·通过对B2O3 Mg C反应体系的绝热温度计算,确定该体系自蔓延反应进行的可行性·通过X射线衍射分析推测其反应机理·由扫描电镜分析知B4C晶粒细小,由电子衍射图谱知B4C为发育完整的单晶,但是有发育不完整的多晶存在·由光谱分析知B4C的纯度不低于98%,而容量分析结果表明B4C的纯度偏低·     

基于3D-GM-BPM的平行定向耦合器模拟研究

提出了基于伽辽金法的三维光束传播法（3D－GM－BPM），可直接应用于三维波导光电子器件的光波传输模拟，并用它模拟分析了基于脊形光波导的平行定向耦合器遥光波传输特性。3D－GM－BPM最终归结为求角一阶常微分方程组，导出矩阵小，计算效率高。另外，平面映射边界条件使该方法无须引入人工边界条件，因而消除了非物理反射，有较高的计算精度。     

节流毛细管设计的类比法

从毛细管的微分方程模型出发，建立了绝热毛细管类比设计法的理论公式，提高了毛细管的设计效率。     

普通高校女生体育课教学规律的探讨

要想上好普通高校女生体育课，必须抓住她们的生理心理特点，并且采取适合她们的教学方法和手段，才能收到较好的效果，高校女生，处于发育旺盛、日趋成熟时期，她们随着年龄的增长，皮下脂肪增厚，体重增加，但身体素质较差，尤其是腰腹肌很差，再加上怕脏怕累，上体育课的兴趣和运动情绪不高。